ma{-}interface{-}ds($I$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$I$IdDeq($i$).1